SHATZ, SOL M.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A METHODOLOGY FOR MODELING MULTI-AGENT SYSTEMS USING NESTED PETRI NETS

CHANG, LILY, HE, XUDONG, SHATZ, SOL M.

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2012

Language:

english

File:

PDF, 1.25 MB

english, 2012

2

Markov chain reduction and analysis of GSPN models for task allocation in distributed systems

Tadao Murata, Randeep S. Bhatia, Sol M. Shatz

Journal:

Microelectronics Reliability

Year:

1991

Language:

english

File:

PDF, 775 KB

english, 1991

3

A partitioning algorithm for distributed software systems design

Sol M. Shatz, Stephen S. Yau

Journal:

Information Sciences

Year:

1986

Language:

english

File:

PDF, 991 KB

english, 1986

4

Software complexity and ada rendezvous: Metrics based on nondeterminism

Srinivasarao Damerla, Sol M. Shatz

Journal:

Journal of Systems and Software

Year:

1992

Language:

english

File:

PDF, 962 KB

english, 1992

5

Formal modeling and automated analysis of the LAPD protocol

Sol M. Shatz, Peter S. Kajka, Ardaman S. Chauhan

Journal:

Computer Networks and ISDN Systems

Year:

1990

Language:

english

File:

PDF, 1.66 MB

english, 1990

6

Querying sensor networks using ad hoc mobile devices: A two-layer networking approach

Shourui Tian, Sol M. Shatz, Yang Yu, Juzheng Li

Journal:

Ad Hoc Networks

Year:

2009

Language:

english

File:

PDF, 1.04 MB

english, 2009

7

Combating online in-auction fraud: Clues, techniques and challenges

Fei Dong, Sol M. Shatz, Haiping Xu

Journal:

Computer Science Review

Year:

2009

Language:

english

File:

PDF, 1.84 MB

english, 2009

8

Tool integration for flexible simulation of distributed algorithms

Shashank Khanvilkar, Sol M. Shatz

Journal:

Software: Practice and Experience

Year:

2001

Language:

english

File:

PDF, 308 KB

english, 2001

9

Explicit modeling of semantics associated with composite states in UML statecharts

Zhaoxia Hu, Sol M. Shatz

Journal:

Automated Software Engineering

Year:

2006

Language:

english

File:

PDF, 501 KB

english, 2006

10

Simulation-based analysis of UML statechart diagrams: methods and case studies

Jiexin Lian, Zhaoxia Hu, Sol M. Shatz

Journal:

Software Quality Journal

Year:

2008

Language:

english

File:

PDF, 756 KB

english, 2008

11

Flexible coordinator design for modeling resource sharing in multi-agent systems

Jiexin Lian, Sol M. Shatz, Xudong He

Journal:

Journal of Systems and Software

Year:

2009

Language:

english

File:

PDF, 2.26 MB

english, 2009

12

Price comparison: A reliable approach to identifying shill bidding in online auctions?

Fei Dong, Sol M. Shatz, Haiping Xu, Dibyen Majumdar

Journal:

Electronic Commerce Research and Applications

Year:

2012

Language:

english

File:

PDF, 360 KB

english, 2012

13

Compositional Petri net models of advanced tasking in Ada-95

Ravi K. Gedela, Sol M. Shatz, Haiping Xu

Journal:

Computer Languages

Year:

1999

Language:

english

File:

PDF, 848 KB

english, 1999

14

[IEEE 2009 Sixth International Conference on Information Technology: New Generations - Las Vegas, NV, USA (2009.04.27-2009.04.29)] 2009 Sixth International Conference on Information Technology: New Generations - Model-Based Specification of Flexible and Complex Bidding Strategies in Agent-Based Online Auctions

Ford, Benjamin J., Xu, Haiping, Bates, Christopher K., Shatz, Sol M.

Year:

2009

Language:

english

File:

PDF, 388 KB

english, 2009

15

Mobile Sampling of Sensor Field Data Using Controlled Broadcast

Li, Juzheng, Shatz, Sol, Kshemkalyani, Ajay

Journal:

IEEE Transactions on Mobile Computing

Year:

2011

Language:

english

File:

PDF, 1.80 MB

english, 2011

16

[IEEE 2006 15th International Conference on Computing - Mexico city, Mexico (2006.11.21-2006.11.21)] 2006 15th International Conference on Computing - Consistency Checking of UML Dynamic Models Based on Petri Net Techniques

Yao, Shuzhen, Shatz, Sol

Year:

2006

Language:

english

File:

PDF, 316 KB

english, 2006

17

[IEEE 2008 Fifth International Conference on Information Technology: New Generations (ITNG) - Las Vegas, NV, USA (2008.04.7-2008.04.9)] Fifth International Conference on Information Technology: New Generations (itng 2008) - A Framework for Agent-Based Trust Management in Online Auctions

Xu, Haiping, Shatz, Sol M., Bates, Christopher K.

Year:

2008

Language:

english

File:

PDF, 712 KB

english, 2008

18

[IEEE 2007 16th International Conference on Computer Communications and Networks - Honolulu, HI, USA (2007.08.13-2007.08.16)] 2007 16th International Conference on Computer Communications and Networks - A Framework for Querying Sensor Networks Using Mobile Devices

Tian, Shourui, Shatz, Sol M., Yu, Yang

Year:

2007

Language:

english

File:

PDF, 267 KB

english, 2007

19

[IEEE 2009 Sixth International Conference on Information Technology: New Generations - Las Vegas, NV, USA (2009.04.27-2009.04.29)] 2009 Sixth International Conference on Information Technology: New Generations - Inference of Online Auction Shills Using Dempster-Shafer Theory

Dong, Fei, Shatz, Sol M., Xu, Haiping

Year:

2009

Language:

english

File:

PDF, 451 KB

english, 2009

20

[IEEE Eighth International Symposium on Autonomous Decentralized Systems (ISADS'07) - Sedona, AZ, USA (2007.03.21-2007.03.23)] Eighth International Symposium on Autonomous Decentralized Systems (ISADS'07) - Optimizing Query Injection from Mobile Objects to Sensor Networks

Tian, Shourui, Shatz, Sol M.

Year:

2007

Language:

english

File:

PDF, 336 KB

english, 2007

21

REASONING UNDER UNCERTAINTY FOR SHILL DETECTION IN ONLINE AUCTIONS USING DEMPSTER–SHAFER THEORY

DONG, FEI, SHATZ, SOL M., XU, HAIPING

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2010

Language:

english

File:

PDF, 422 KB

english, 2010

22

FORMALIZATION OF OBJECT BEHAVIOR AND INTERACTIONS FROM UML MODELS

SALDHANA, JOHN ANIL, SHATZ, SOL M., HU, ZHAOXIA

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2001

Language:

english

File:

PDF, 470 KB

english, 2001

23

A MODELING METHODOLOGY FOR CONFLICT CONTROL IN MULTI-AGENT SYSTEMS

LIAN, JIEXIN, SHATZ, SOL M.

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2008

Language:

english

File:

PDF, 1.20 MB

english, 2008

24

A SECURITY BASED MODEL FOR MOBILE AGENT SOFTWARE SYSTEMS

XU, HAIPING, ZHANG, ZHIGUO, SHATZ, SOL M.

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2005

Language:

english

File:

PDF, 433 KB

english, 2005

25

Dynamic multiroot, multiquery processing based on data sharing in sensor networks

Zhang, Zhiguo, Kshemkalyani, Ajay D., Shatz, Sol M.

Journal:

ACM Transactions on Sensor Networks

Year:

2010

Language:

english

File:

PDF, 908 KB

english, 2010

26

Formal modeling of synchronization methods for concurrent objects in Ada 95

Gedela, Ravi K., Shatz, Sol M., Xu, Haiping

Journal:

ACM SIGAda Ada Letters

Year:

1999

Language:

english

File:

PDF, 591 KB

english, 1999

27

[ACM Press the 1999 annual ACM SIGAda international conference - Redondo Beach, California, United States (1999.10.17-1999.10.21)] Proceedings of the 1999 annual ACM SIGAda international conference on Ada - SIGAda '99 - Formal modeling of synchronization methods for concurrent objects in Ada 95

Gedela, Ravi K., Shatz, Sol M., Xu, Haiping

Year:

1999

Language:

english

File:

PDF, 591 KB

english, 1999

28

PROTOCOL SPECIFICATION DESIGN USING AN OBJECT-BASED PETRI NET FORMALISM

SLIVA, VLADIMIR P., MURATA, TADAO, SHATZ, SOL M.

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

1999

Language:

english

File:

PDF, 1.76 MB

english, 1999

29

Computer-based support system for formulary decisions

Senthilkumaran, Kandaraj, Shatz, Sol M., Kalies, Ralph F.

Journal:

American Journal of Health-System Pharmacy

Year:

1987

File:

PDF, 561 KB

1987